Section: Software

STOP

Participants : François Goichon, Stéphane Frénot, Pierre Parrend.

STOP is a security-oriented program analysis toolkit developed by François Goichon as part of his masters thesis. He was supervised by Stéphane Frénot and Pierre Parrend from FZI, Karlsruhe.

The tool implements a novel static analysis technique called Service-oriented Tainted Object Propagation, described in more detail in the Results section.